Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Bruno Blanchet, Cryptographic protocols: formal and computational proofs, 9h equivalent TD, master M2 MPRI, université Paris VII, France

• License: Karthikeyan Bhargavan, INF431, INF421, INF672, INF321, introductory courses at at Ecole Polytechnique, Palaiseau, France

• Doctorat: Catalin Hritcu, lectures at University of Saarbruecken, Germany

• Doctorat: Catalin Hritcu, F* tutorials at POPL 2015 and ICFP 2015

Supervision

• PhD in progress: Evmorfia-Iro Bartzia

  Machine-checked program verification for concrete cryptography,

  started October 2011, supervised by Karthikeyan Bhargavan and Pierre-Yves Strub

• PhD in progress: Antoine Delignat-Lavaud

  Verified security for web applications,

  started September 2012, supervised by Karthikeyan Bhargavan

• PhD in progress: Jean Karim Zinzindohoue

  Analyzing cryptographic protocols and their implementations,

  started September 2014, supervised by Karthikeyan Bhargavan

• PhD in progress: Nadim Kobeissi

  Analyzing cryptographic web applications,

  started February 2015, supervised by Karthikeyan Bhargavan

• PhD in progress: Yannis Juglaret

  Micro-policies and Secure Compilation,

  started September 2015, supervised by Catalin Hritcu

Juries

• Rémy Chrétien – Ph.D. – Jan. 11, 2016 – ENS Cachan

  Automated analysis of equivalence properties for cryptographic protocols

  Bruno Blanchet (reviewer)

• Joeri de Ruiter – Ph.D. – Aug. 27, 2015 – Radboud University Nijmegen

  Lesson learned in the analysis of the EMV and TLS security protocols

  Karthikeyan Bhargavan (reviewer)

• Bart van Delft – Licentiate – Mar. 14, 2015 – Chalmers University

  Karthikeyan Bhargavan (discussion leader)